Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems

Optimising Propositional Modal Satisfiability for Description Logic Subsumption

Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the correspondence between description logics and propositional modal logic many of these techniques carry over into propositional modal logic satisfiability checking. Currently-implemented representation systems that employ t...

Bounded Model Property for Multi-Context Systems

Our general interest is to understand the inherent complexity of contextual reasoning. In this paper we establish the bounded model property for propositional multi-context systems with finite sets of bridge rules: the number of local models needed to satisfy a set of formulas in such systems is bounded by the number of formulas in that set plus the number of bridge rules of the system. Using t...

Many hands make light work.

A Context-aware Architecture for Mental Model Sharing through Semantic Movement in Intelligent Agents

Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....

Multi-site production planning in hybrid make-to-stock/make-to-order production environment

Today competitive environment has enforced practitioners and researchers to pay great attention to issues enhancing both production and marketing competitiveness. To do so, it has been obligatory for the firms to consider production side activities while customer requirements are on the other side of competition. In this regard, hybrid make-to-stock (MTS)/make-to-order (MTO) production systems ...